Warn if a property alias is used

Emit a deprecation warning if a property is not used
by its official name.

diff --git a/gtk/gtkcssprovider.c b/gtk/gtkcssprovider.c
index bda3a91cbb9a708617d1bb77eb15728fe525667d..60a9d3b9ae696db28cfa3f3bc00407c644c196c6 100644 (file)
--- a/gtk/gtkcssprovider.c
+++ b/gtk/gtkcssprovider.c
@@ -2485,7 +2485,16 @@ parse_declaration (GtkCssScanner *scanner,
       return;
     }
 
-  if (strcmp (name, "engine") == 0)
+  if (property != NULL && strcmp (name, property->name) != 0)
+    {
+      gtk_css_provider_error (scanner->provider,
+                              scanner,
+                              GTK_CSS_PROVIDER_ERROR,
+                              GTK_CSS_PROVIDER_ERROR_DEPRECATED,
+                              "The '%s' property has been renamed to '%s'",
+                              name, property->name);
+    }
+  else if (strcmp (name, "engine") == 0)
     {
       gtk_css_provider_error (scanner->provider,
                               scanner,